Resolution theorem proving

[计] 归结定理证明

🧩 词语组成解析

resolution [,rɛzə'luʃən]

n. 决心;解决;坚决;分辨率;

re不+solut松开+ion名词后缀，构成抽象名词 → 决心；溶解

theorem ['θiərəm]

n. [数] 定理;（能证明的）一般原理，公理，定律，法则;

theor考虑 + em获得→考虑后获得的结果 → n.[数]定理, 法则

proving

[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)

🗣️ 情景例句

My dautghter Cami lives in New York.

我女儿 Cami住在纽约。

Their contempt is mutual.

他们互相轻视。

The hunt for the puma began in a small village where a woman picking blackberries saw 'a large cat' only five yards away from her.

搜寻美洲狮的工作是从一座小村庄开始的。那里的一位妇女在采摘黑莓时的看见“一只大猫”，离她仅5码远，

更多情景英语 ›

🔤 更多 R 开头的单词

radices dipsaci

Rasboras

recumbency

redout

remembered

resubmitting

retardation spectrum

right of passage

全部 R 开头单词 ›